Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy

Source URL: cristal.inria.fr

BRICS Basic Research in Computer Science BRICS RS-00-3 Larsson et al.: On Memory-Block Traversal Problems in Model Checking Timed Systems

Source URL: www.brics.dk

Submission to HPTSA Storage Model to Bridge the Processor/Memory Speed Gap Anastassia Ailamaki Carnegie Mellon University (joint work with David DeWitt and Mark Hill

Source URL: hpts.ws

R-local Delaunay inhibition Model Etienne Bertin, Jean-Michel Billiot, R´emy Drouilhet Labsad, Universit´e Pierre Mend`es France, Grenoble II, 1251, avenue centrale, B.P. 47, 38040 Grenoble cedex 9, France. In memory o

Source URL: sixthfrenchdanish.math.aau.dk

Learning to imitate stochastic time series in a compositional way by chaos Accepted in Neural Networks Jun Namikawa

Source URL: www.tech.plym.ac.uk

• Markov models
• Estimation theory
• Kullback–Leibler divergence
• Thermodynamics
• Recurrent neural network
• Long short term memory
• Hidden Markov model
• Maximum likelihood
• Markov chain
• Statistics
• Neural networks
• Statistical theory

Importance Sampling Estimates for Policies with Memory Christian R. Shelton MIT, AI Lab 545 Technology Square, NE43-741, Cambridge, MAUSA Abstract

Source URL: www.cs.ucr.edu

• Monte Carlo methods
• Computational statistics
• Importance sampling
• Variance reduction
• Pi
• Logarithm
• Hidden Markov model
• Reinforcement learning
• Markov models
• Mathematical analysis
• Mathematics

GTEK, Inc. Model 7228 Table of Contents

Source URL: 017b236.netsolhost.com

• Electronics
• Embedded systems
• Computer hardware
• Intel HEX
• Hex
• ASCII
• EPROM
• Binary file
• Hex dump
• Computing
• Computer memory
• Non-volatile memory

Theory and Applications of Categories, Vol. 26, No. 29, 2012, pp. 788–829. INTERNAL CATEGORIES, ANAFUNCTORS AND LOCALISATIONS In memory of Luanne PalmerDAVID MICHAEL ROBERTS Abstract.

Source URL: www.tac.mta.ca

• Homotopy theory
• Sheaf theory
• Higher category theory
• General topology
• Grothendieck topology
• Epimorphism
• Category
• Model category
• Equivalence of categories
• Category theory
• Abstract algebra
• Topology

VILEN MITROFANOVICH STRUTINSKY’S IMPACT ON NUCLEAR AND MANY PARTICLE PHYSICS M. Brack Institute for Theoretical Physics, University of Regensburg, Regensburg, Germany This paper is dedicated to the memory of Vilen Mitr

Source URL: www.kinr.kiev.ua

• Radioactivity
• Atomic physics
• Nuclear fission
• Quantum chaos
• Nuclear shell model
• Nuclear force
• Nuclear structure
• Nuclear binding energy
• Semi-empirical mass formula
• Physics
• Nuclear physics
• Nuclear chemistry

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University of Pennsylvania {sburckha, alur, m

Source URL: www.cis.upenn.edu